#include <stdarg.h>

static char buf[1024];

extern int vsprintf(char *buf, const char *fmt, va_list args);
extern void console_print(const char *);

int printk(const char *fmt, ...) {
    va_list args;
    int i;

    va_start(args, fmt);
    i = vsprintf(buf, fmt, args); /* hopefully i < sizeof(buf) - 4 */
    va_end(args);
    console_print(buf);
    return i;
}
